首页> 外文OA文献 >On Strong Normalization of the Calculus of Constructions with Type-Based Termination

【2h】

On Strong Normalization of the Calculus of Constructions with Type-Based Termination

机译：基于类型终止的构造微积分的强规范化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

The original publication is available at www.springerlink.com

机译：原始出版物可在www.springerlink.com上找到。

著录项

作者
Grégoire, Benjamin; Sacchini, Jorge,;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus [J] . INGE LI GORTZ, SIGNE REUSS, MORTEN HEINE SORENSEN Higher-order and symbolic computation . 2003,第3期

机译：从弱归一化到Lambda-I-微积分的强归一化
2. Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda [J] . Sebastián Urciuoli, álvaro Tasistro, Nora Szasz Electronic Notes in Theoretical Computer Science . 2020,第6期

机译：使用AGDA的建设性型理论中简单类型的Lambda微积分的强烈标准化
3. Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule. [J] . Ryota Akiyoshi, Kazushige Terui LIPIcs : Leibniz International Proceedings in Informatics . 2016,第2期

机译：基于Omega-Rule的无参数多态Lambda演算的强归一化。
4. On Strong Normalization of the Calculus of Constructions with Type-Based Termination [C] . Benjamin Gregoire, Jorge Luis Sacchini Logic for programming artificial intelligence, and reasoning . 2010

机译：基于类型终止的构造微积分的强规范化
5. A New Look at Designing Electrical Construction Processes a Case Study of Cable Pulling and Termination Process on Data Center Construction Sites [D] . Hammam, MennatAllah. 2020

机译：设计电气施工工艺的新外观采用数据中心施工现场电缆拉动和终止过程的案例研究
6. Is treatment termination safe in developmental dysplasia of the hip following ultrasonographic normalization? [O] . Hakan Atalar, Cüneyd Günay, O. Şahap Atik 2021

机译：在超声标准化后治疗终止在髋部发育不良的发育不良吗？
7. A short and flexible proof of Strong Normalization for the Calculus of Constructions [O] . Herman Geuvers 1994

机译：建构微积分强度归一化的简短灵活证明

On Strong Normalization of the Calculus of Constructions with Type-Based Termination

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅